\begin{tabbing}
es{-}local{-}pred\=\{i:l\}\+
\\[0ex](${\it es}$; $P$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(TERMOF\{es{-}interface{-}local{-}pred{-}bool:ObjectId, 1:l, i:l\}(${\it es}$,$P$)).1
\end{tabbing}